Karush–Kuhn–Tucker conditions